Tarski’s pioneering work on truth has been thought by some to motivate a robust, correspondence-style theory of truth, and by others to motivate a deflationary attitude toward truth. I argue that Tarski’s work suggests neither; if it motivates any contemporary theory of truth, it motivates conceptual primitivism, the view that truth is a fundamental, indefinable concept. After outlining conceptual primitivism and Tarski’s theory of truth, I show how the two approaches (...) to truth share much in common. While Tarski does not explicitly accept primitivism, the view is open to him, and fits better with his formal work on truth than do correspondence or deflationary theories. Primitivists, in turn, may rely on Tarski’s insights in motivating their own perspective on truth. I conclude by showing how viewing Tarski through the primitivist lens provides a fresh response to some familiar charges from Putnam and Etchemendy. (shrink)

Tarski’s Convention T—presenting his notion of adequate definition of truth (sic)—contains two conditions: alpha and beta. Alpha requires that all instances of a certain T Schema be provable. Beta requires in effect the provability of ‘every truth is a sentence’. Beta formally recognizes the fact, repeatedly emphasized by Tarski, that sentences (devoid of free variable occurrences)—as opposed to pre-sentences (having free occurrences of variables)—exhaust the range of significance of is true. In Tarski’s preferred usage, it (...) is part of the meaning of true that attribution of being true to a given thing presupposes the thing is a sentence. Beta’s importance is further highlighted by the fact that alpha can be satisfied using the recursively definable concept of being satisfied by every infinite sequence, which Tarski explicitly rejects. Moreover, in Definition 23, the famous truth-definition, Tarski supplements “being satisfied by every infinite sequence” by adding the condition “being a sentence”. Even where truth is undefinable and treated by Tarski axiomatically, he adds as an explicit axiom a sentence to the effect that every truth is a sentence. Surprisingly, the sentence just before the presentation of Convention T seems to imply that alpha alone might be sufficient. Even more surprising is the sentence just after Convention T saying beta “is not essential”. Why include a condition if it is not essential? Tarski says nothing about this dissonance. Considering the broader context, the Polish original, the German translation from which the English was derived, and other sources, we attempt to determine what Tarski might have intended by the two troubling sentences which, as they stand, are contrary to the spirit, if not the letter, of several other passages in Tarski’s corpus. (shrink)

In this paper, I suggest an approach to the alleged problem with the Tarskian formal definition of truth: its enumerative character seems to make it unable to capture our pretheoretic general understanding of truth. For this purpose, after spelling out two requirements for extending an enumerative definition to new cases, I examine to what extent Tarski's Convention T provides what are needed for extending the Tarski's enumerative definition. I conclude that, though not explicitly providing what (...) are needed, Convention T does implicitly suggest something quite promising and provide necessary conceptual resources for its further modifications. Then I suggest a Tarskian explicitly general definition of what it is to be a truth-definition on the basis of some theoretical and conceptual resources within Tarski's semantic theory, and I explain how it would make the Tarskian seemingly enumerative formal definition have a general character in accord with our pretheoretic understanding of truth. Finally, I examine the current proposal in comparison with Davidson's approach and in the light of Hintikka's new perspective. (shrink)

In his seminal work “The Concept of Truth in Formalized Languages”, Alfred Tarski showed how to construct a formally correct and materially adequate definition of true sentence for certain formalized languages. These results have, eventually, been accepted and applauded by philosophers and logicians nearly in unison. Its Postscript, written two years later, however, has given rise to a considerable amount of controversy. There is an ongoing debate on what Tarski really said in the postscript. These discussions often (...) regard Tarski as putatively changing his logical framework from type theory to set theory. In what follows, we will compare the original results with those presented two years later. After a brief outline of Carnap’s program in The Logical Syntax of Language we will determine its significance for Tarski’s final results. (shrink)

1. Introduction. 2. Is Tarski’s theory of truth, as Popper claims after Tarski himself, a rehabilitation of the traditional view of truth as correspondence to facts? — Yes, but not for the reasons he gives. 3. Is Tarski’s explicit definition of truth , as Popper claims after Tarski himself, purely morphological ? — No. 4. Is Tarski’s theory, as Tarski claims it to be, « epistomologically neutral » ? — (...) This thesis is ambiguous, and Tarski can support it just as Popper can dispute it as well. 5. Is Popper right for all that when he goes as far as to claim that Tarski’s theory of truth provides an argument in favour of « metaphysical realism » — No. 6. Conclusions.Résumé1. Introduction 2. La théorie de la vérité de Tarski est-elle, comme Popper l’affirme à la suite de Tarski lui-même, une réhabilitation de la conception traditionnelle de la vérité comme correspondance aux faits ? — Oui, mais pas pour la raison qu’il donne. 3. La définition explicite de la vérité de Tarski est-elle, comme Popper l’affirme à la suite de Tarski lui-même, purement morphologique ? — Non. 4. La théorie de Tarski est-elle, comme celui-ci le prétend, « épistémologiquement neutre » ? — La thèse est équivoque, et Tarski peut aussi bien la soutenir que Popper la contester. 5. Popper a-t-il raison pour autant d’aller jusqu’à prétendre que la théorie de la vérité de Tarski fournit un argument en faveur du « réalisme métaphysique » ? — Non. 6. Conclusions. (shrink)

This article, after briefly discussing Alfred Tarski's influential theory of truth, turns to a more recent theory of truth, a deflationary, or minimalist, theory. One of the chief elements of a deflationary, or minimalist, theory of truth is that it replaces the question of what truth is with the question of what “true” does. After setting out the central features of the minimalist theory of truth, the article explains the motivation for opting (...) for such a position. In addition, it provides some reasons for thinking that such a theory of truth is “minimal” or “deflationary” in the way that contemporary truth theorists have claimed it to be. (shrink)

In the period after the First World War when the various national-ideological “truths” that led to it were not well resolved which resulted in the Second World War, one of the greatest world crises occurs. In those turbulent times, one philosopher renounces his national identity (changes his religion and name), wanting not to save himself from an evil world that is emerging but to join the creation of a completely new world – the world of modern logic. This man (...) is Alfred Tarski, whom many recognize as “the man who defined truth”, linking him to the formulation of the distinction between object and metalanguage. In the paper, I argue with historians of philosophy who claim that this distinction was first set by the logician and philosopher of the Lvov-Warsaw school Stanislaw Leśniewski (whose Tarski was the only doctoral student) accusing Tarski of violating professional laws without attributing the authorship of this distinction to Leśniewski. I show that this is not true and I cite the places where Tarski clearly emphasizes Leśniewski ‘s contribution. (shrink)

In his published work and even more in conversations, Tarski emphasized what he thought were important philosophical aspects of his work. The English translation of his more philosophical papers [56m] was dedicated to his teacher Tadeusz Kotarbinski, and in informal discussions of philosophy he often referred to the influence of Kotarbinski. Also, the influence of Leiniewski, his dissertation adviser, is evident in his early papers. Moreover, some of his important papers of the 1930s were initially given to philosophical audiences. (...) For example, the famous monograph on the concepotf truth ([33”], [35b]) was first given as twol ectures to the Logic Section of the Philosophical Society in Warsaw in 1930. Second, his paper [33], which introduced the concepts of co-consistency and co-completeness as well as the rule of infinite induction: was first given at the Second Conference of the Polish Philosophical Society in Warsaw in 1927. Also [35c] was based upon an address given in 1934 to the conference for the Unity of Science in Prague; C361 and [36a] summarize an address given at the International Congress of Scientific Philosophy in Paris in 1935. The article [44a] was published in a philosophical journal and widely reprinted in philosophical texts. This list is of course not exhaustiveb ut only representative of Tarski’s philosophical interactions as reflected in lectures given to philosophical audiences, which were later embodied in substantial papers. After 1945 almost all of Tarski’s publications and presentations are mathematical in character with one or two minor exceptions. This division, occurring about 1945, does not, however, indicate al oss of interest in philosophical questionbsu t is a result of Tarski’s moving to the Department of Mathematics at Berkeley. There he assumed an important role in the development of logic within mathematics in the United States. (shrink)

Neo-Kantian philosophers sometimes divided the history of philosophy in three periods: philosophy before Kant, Kant, and philosophy after Kant. The admirers of Alfred Tarski are prone, with good justification, to propose a similar division of theories of truth. But even in our post-Tarskian period, the nature and significance of Tarski’s theory of truth is still a matter of controversy.1 Therefore, to understand better Tarski’s achievement and some of our present puzzles, it is instructive to (...) go back to the pre-Tarskian problem situation in the late 1920s and the early 1930s, and to see how Tarski’s treatment of truth in Warsaw was related to alternative views current in Vienna and Berlin. (shrink)

A popular and enduring approach to the liar paradox takes the concept of truth to be inconsistent. Very roughly, truth is an inconsistent concept if the central principles of this concept (taken together) entail a contradiction, where one of these central principles is Tarski's T-schema for truth: a sentence S is true if and only if p, (where S says that p). This article targets a version of Inconsistentism which: retains classical logic and bivalence; takes the (...) truth-predicate “is true” to pick out a property (and determine a non-empty extension relative to a given world); and holds that liar sentences exhibit a certain kind of indeterminacy in truth-value. Call such a view Modest Inconsistentism since it is somewhat more conservative in its outlook than various other forms of Inconsistentism. Such a modest view has its attractions: we retain the thesis that the liar sentence is meaningful; we get to respect the claims that there are truths and that there is a property of truth; we get to keep classical logic and bivalence; and, prima facie, no strengthened liar paradox is in the offing. The main aim in this paper is to show that Modest Inconsistentism, despite its initial attractions, is in deep trouble—because it does, after all, give rise to a strengthened liar paradox. We shall also see that there are related kinds of theory which are also subject to the same worry. (shrink)

According to Field’s influential incompleteness objection, Tarski’s semantic theory of truth is unsatisfactory since the definition that forms its basis is incomplete in two distinct senses: (1) it is physicalistically inadequate, and for this reason, (2) it is conceptually deficient. In this paper, I defend the semantic theory of truth against the incompleteness objection by conceding (1) but rejecting (2). After arguing that Davidson and McDowell’s reply to the incompleteness objection fails to pass muster, I argue (...) that, within the constraints of a non-reductive physicalism and a holism concerning the concepts of truth, reference and meaning, conceding Field’s physicalistic inadequacy conclusion while rejecting his conceptual deficiency conclusion is a promising reply to the incompleteness objection. (shrink)

The first section (§1) of this essay defends reliance on truth values against those who, on nominalistic grounds, would uniformly substitute a truth predicate. I rehearse some practical, Carnapian advantages of working with truth values in logic. In the second section (§2), after introducing the key idea of auxiliary parameters (§2.1), I look at several cases in which logics involve, as part of their semantics, an extra auxiliary parameter to which truth is relativized, a parameter (...) that caters to special kinds of sentences. In many cases, this facility is said to produce truth values for sentences that on the face of it seem neither true nor false. Often enough, in this situation appeal is made to the method of supervaluations, which operate by “quantifying out” auxiliary parameters, and thereby produce something like a truth value. Logics of this kind exhibit striking differences. I first consider the role that Tarski gives to supervaluation in first order logic (§2.2), and then, after an interlude that asks whether neither-true-nor-false is itself a truth value (§2.3), I consider sentences with non-denoting terms (§2.4), vague sentences (§2.5), ambiguous sentences (§2.6), paradoxical sentences (§2.7), and future-tensed sentences in indeterministic tense logic (§2.8). I conclude my survey with a look at alethic modal logic considered as a cousin (§2.9), and finish with a few sentences of “advice to supervaluationists” (2.10), advice that is largely negative. The case for supervaluations as a road to truth is strong only when the auxiliary parameter that is “quantified out” is in fact irrelevant to the sentences of interest—as in Tarski’s definition of truth for classical logic. In all other cases, the best policy when reporting the results of supervaluation is to use only explicit phrases such as “settled true” or “determinately true,” never dropping the qualification. (shrink)

The starting point of this paper concerns the apparent difference between what we might call absolute truth and truth in a model, following Donald Davidson. The notion of absolute truth is the one familiar from Tarski’s T-schema: ‘Snow is white’ is true if and only if snow is white. Instead of being a property of sentences as absolute truth appears to be, truth in a model, that is relative truth, is evaluated in terms (...) of the relation between sentences and models. I wish to examine the apparent dual nature of logical truth (without dwelling on Davidson), and suggest that we are dealing with a distinction between a metaphysical and a linguistic interpretation of truth. I take my cue from John Etchemendy, who suggests that absolute truth could be considered as being equivalent to truth in the ‘right model’, i.e., the model that corresponds with the world. However, the notion of ‘model’ is not entirely appropriate here as it is closely associated with relative truth. Instead, I propose that the metaphysical interpretation of truth may be illustrated in modal terms, by metaphysical modality in particular. One of the tasks that I will undertake in this paper is to develop this modal interpretation, partly building on my previous work on the metaphysical interpretation of the law of non-contradiction (Tahko 2009). After an explication of the metaphysical interpretation of logical truth, a brief study of how this interpretation connects with some recent important themes in philosophical logic follows. In particular, I discuss logical pluralism and propose an understanding of pluralism from the point of view of the metaphysical interpretation. (shrink)

Many papers have been devoted to the semantic turn Carnap took in the late 1930s after Tarski had explained to him his method for defining truth and his work on the establishment of scientific semantics. Commentators have often argued that the major turn in Carnap’s approach to languages had already been taken in the Logical Syntax of Language, but they have usually assumed that Carnap was happy to subsequently follow Tarski and adopt Tarskian semantics. In this (...) paper, it is argued that this assumption needs to be qualified and that Carnap was actually far from following Tarski when he decided to complement his syntactic method with a semantic one. Carnap and Tarski had different goals, divergent programs, and dissenting views on truth and semantics. After exploring several possible methods for the explication of logical concepts such as L-truth and L-implication, Carnap opted for definitions based on concepts he had found in Wittgenstein’s Tractatus and Waismann’s work on a logical interpretation of probability. Carnap’s reasons for taking a semantic turn are to be understood in the context of his principle of tolerance. He first hoped he could use Tarski’s technique to recover in the semantic setting the completeness result he had tried to establish in the Logical Syntax. His eventual adoption of non-Tarskian semantics can be accounted for by his program of a logical analysis of science—including empirical science—and his ambition to elaborate a unified logical framework for deductive, inductive, and modal logic, and for explicating analyticity. (shrink)

O presente trabalho pretende mostrar que, para solucionar a questão da possibilidade do progresso científico, Popper precisou introduzir a ideia de verdade no âmbito de sua teoria da ciência. Essa concepção de progresso, em termos da noção de verdade, só será delineada na obra Conjectura e refutações, pois a ideia de que o alvo da ciência é a verdade ainda não aparece teorizada em suas primeiras obras. Quando Popper escreveu sua A lógica da pesquisa científica, a ciência era definida em (...) termos de regras lógico-metodológicas e não de suas metas. O avanço científico é concebido a partir das noções de testabilidade e de corroborabilidade das teorias, exigências lógicometodológicas para que uma teoria seja considerada como científica. Popper não relacionou a questão do progresso científico à noção de verdade, nessa obra, porque, quando a escreveu, não dispunha de uma consistente teoria da verdade. Foi somente após Tarski ter escrito seu artigo sobre a concepção semântica da verdade que Popper, tendo por base essa concepção de verdade, pôde complementar as suas teses sobre o progresso da ciência, expostas em sua A lógica da pesquisa cientifica, com uma teoria acerca do conteúdo de verdade e da aproximação da verdade. This paper aims to show that to solve the question of the possibility of scientific progress, Popper had to introduce the idea of truth into his theory of science. This conception of progress, in terms of the notion of truth, was only outlined in the work Conjectures and Refutations. The idea that the goal of science is truth does not appear in his early works. When Popper wrote his The Logic of Scientific Discovery, science was defined in terms of logic-methodological rules, and not of its goals. Scientific progress was conceived based on the notions of testability and corroboration of theories, logical and methodological requirements for a theory to be considered scientific. Popper did not relate the question of scientific progress to notion of truth in this work, because when he wrote it he did not have a consistent theory of truth. It was only after Tarski had written his article on the semantic conception of truth that Popper, based on this conception of truth, could complement his thesis about the progress of science expounded in The Logic of Scientific Discovery with a theory about the content of truth and the approximation to the truth. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Journal of the History of Philosophy 41.1 (2003) 138-139 [Access article in PDF] Erich H. Reck, editor. From Frege to Wittgenstein: Perspectives on Early Analytic Philosophy. New York: Oxford University Press, 2002. Pp. xv + 470. Cloth, $65.00. The volume is divided into four main parts: I: "Background and general themes," II: "Frege," III: "Frege to early Wittgenstein," and IV: "Early Wittgenstein." Part I includes the following essays: Erich (...) H. Reck, "Wittgenstein's 'great debt' to Frege: biographical traces and philosophical themes"; Gottfried Gabriel, "Frege, Lotze, and the continental roots of early analytic philosophy"; and Steven Gerrard, "One Wittgenstein?". Part II includes: Hans Sluga, "Frege on the indefinability of truth"; Sanford Shieh, "On interpreting Frege on truth and logic"; Marco Ruffino, "Logical objects in Frege's Grundgesetze, section 10"; and Joan Weiner, "Section 31 revisited: Frege's elucidations." Part III includes: Warren Goldfarb, "Wittgenstein's understanding of Frege: the pre-tractarian evidence"; Danielle Machbeth, "Frege and early Wittgenstein on logic and language"; Thomas Ricketts, "Wittgenstein against Frege and Russell"; and Cora Diamond, "Truth before Tarski: after Sluga, after Ricketts, after Geach, after Goldfarb, Hylton, Floyd, and Van Heijenoort." Part IV includes: Ian Proops, "The Tractatus on inference and entailment"; Juliet Floyd, "Number and ascriptions of number in Wittgenstein's Tractatus"; Matthew B. Ostrow, "Wittgenstein and the liberating word"; and James Conant, "The method of the Tractatus."Reck, while opposing the "widespread view" that Wittgenstein's "debt" to Frege was "rather minimal," warns the reader against going too far in the contrary direction (exemplified by Geach). Gabriel maintains (39) the thesis that "at least early analytic philosophy has its roots in the tradition of continental philosophy, especially in the philosophy of Hermann Lotze" (the founder of neo-Kantianism). Gerrard argues against the common distinction of an "early" and a "late" Wittgenstein.Sluga writes in favor of the significance of Frege's remark (rather neglected in the Fregean literature) that "the content of the word 'true' is altogether unique and indefinable." Shieh's "principal question," observing that Frege's philosophy of logic has been interpreted in two opposite ways: "semantical" (Dummett), and "antisemantical" (Ricketts), is: "Did Frege provide an explanatory justification of logical laws in semantic terms?" The "central result" of the essay is that "the substance of the disagreements between the antisemantical interpreters and their perceived opponents is not what they suggest it to be" (97). Ruffino focuses on the Fregean attempt to determine the nature of the extensions introduced by his (in)famous Axiom V, and compares Frege's handling of this issue with the seemingly analogous issue of determining the nature of numbers introduced by what is nowadays called "Hume's principle." Weiner attacks another crucial portion of Frege's work: Grundgesetze I §31, and proposes to read it as "elucidation" rather than as proof.Goldfarb intends to "cast doubt on the assessment of Frege's influence on Wittgenstein" expressed by several scholars. Goldfarb holds that Frege and Wittgenstein arrive at views that "have many similarities" but that they do it independently (187). Rather, in Wittgenstein "the basic framework and the basic stance are thoroughly inherited from Russell" (197). Macbeth argues that Frege and Wittgenstein have radically different conceptions of meaning: inferentialist and representative respectively. Ricketts argues that Wittgenstein's critique of Frege "is mounted from within his own distinctive approach to language and logic," so that "while Wittgenstein does not meet Frege on Frege's own terms, neither does he straightforwardly misunderstand Frege" (228). The content of Diamond's paper is more than hinted at by its long title.Proops aims at investigating "Wittgenstein's well-known, yet obscure, objection to the views of Frege and Russell on deductive inference and its justification," (283) an objection set out in Tractatus5.132: laws of inference are senseless, superfluous. Floyd intends to highlight the philosophy of arithmetic found in the Tractatus against a "tendency to pass over the Tractatus remarks on arithmetic in silence" (309). Ostrow points out that "it is not at once apparent" how the "Wittgensteinian liberation" is to be conceived (353), and his... (shrink)

Published with the aid of a grant from the National Endowment for the Humanities. Contains the only complete English-language text of The Concept of Truth in Formalized Languages. Tarski made extensive corrections and revisions of the original translations for this edition, along with new historical remarks. It includes a new preface and a new analytical index for use by philosophers and linguists as well as by historians of mathematics and philosophy.

I start from Hans Sluga's paper “Truth before Tarski”, in which he argues that the establishing of Tarski's approach to truth brought loss as well as gain to analytic philosophy: what was lost was our understanding of the problem of truth. To recover what was lost, he says, we must examine the variety of pre‐Tarskian views. My paper picks up that task and focuses on Wittgenstein's Tractatus. I interweave ideas borrowed from Thomas Ricketts, P. T. (...) Geach, Warren Goldfarb, Peter Hylton, and Juliet Floyd, and thereby try to explain the relation between Wittgenstein's conception of sense and his view of truth. (shrink)

In Art and Truth after Plato, Tom Rockmore argues that Plato has in fact never been satisfactorily answered—and to demonstrate that, he offers a comprehensive account of Plato’s influence through nearly the whole history of Western ...

Alfred Tarski seems to endorse a partial conception of truth, the T-schema, which he believes might be clarified by the application of empirical methods, specifically citing the experimental results of Arne Næss (1938a). The aim of this paper is to argue that Næss’ empirical work confirmed Tarski’s semantic conception of truth, among others. In the first part, I lay out the case for believing that Tarski’s T-schema, while not the formal and generalizable Convention-T, provides a (...) partial account of truth that may be buttressed by an examination of the ordinary person’s views of truth. Then, I address a concern raised by Tarski’s contemporaries who saw Næss’ results as refuting Tarski’s semantic conception. Following that, I summarize Næss’ results. Finally, I will contend with a few objections that suggest a strict interpretation of Næss’ results might recommend an overturning of Tarski’s theory. (shrink)

Alfred Tarski’s theory of truth, to which we will also refer as the classical theory,1 has a conspicuous place in mathematics as well as in general philosophy. The place in philosophy appears the more prominent of the two, although it is still somewhat unsettled, and perhaps even controversial.

Published with the aid of a grant from the National Endowment for the Humanities. Contains the only complete English-language text of The Concept of Truth in Formalized Languages. Tarski made extensive corrections and revisions of the original translations for this edition, along with new historical remarks. It includes a new preface and a new analytical index for use by philosophers and linguists as well as by historians of mathematics and philosophy.

What form might truth take in a theoretical frame which precludes notions of origin and telos? Catherine Malabou’s theory of ‘plasticity’ is such a frame, as it takes the accumulation of life and not the search for eternal truths to be a central premise of philosophy. I conduct a close reading of central texts of Malabou’s to conceptualise truth as a plastic phenomenon over three stages: conception, gestation, and nativity. The conception of truth involves its coming-into-shape; gestation (...) its consolidation of shape; nativity the precariousness of being alive. ‘Plastic truth’ represents a meeting of negotiations, accidents, history, and morality, in constant motion; an epistemic modality with moral and political consequences for education. (shrink)

. The survival of truth after Derrida. Cultural Values: Vol. 4, No. 1, pp. 127-134.

Editor’s Introduction: We recall that Alfred Tarski arrived in the USA from Poland in September 1939. The present series of letters starts not quite three years after his arrival; this span of time allowed him to adapt himself tentatively to his situation, and to shift much of his attention from the problems of the Old World to those of his immediate surroundings.

Tarski believed that the notion of truth should be relativised not to the notion of meaning - as many philosophers would claim - but rather to the notion of language. In general terms, he would identify a language with a structure L = containing an alphabet, a class of sentences and an operation of consequence. As to the specific languages of deductive sciences Tarski maintained that they should be inseparably conjoined with theories, so that the notion of (...) language should be supplemented with a set of axioms and a set of true sentences: L' = . First four elements of L' are quite conveniently expressable in syntactic terms. About the set of Ver, to the contrary, it can be said only that it is one of many complete and coherent sets of sentences containing Ax and closed for the operation Cn. For a very general characteristic it could perhaps be enough. For a more specific definition of Ver, however, Tarski needed some semantic tool. As is well known, he used the notion of satisfying, defined for every particular language L* . Thus, as it seems, according to Tarski, the general notion of truth relative to language is a primary notion of the theory of formalized languages. Were we after introducing it as a secondary notion, we would have to enrich the notion of language with some semantic (referential) aspects, what in turn would require some standarization of syntax and thus narrow the notion of formalized language. (shrink)

Recently, labor has acquired a re-emergent public relevance. In response, feminist theory urgently needs to reconsider the relationship between labor and gender. This book builds a theoretically-informed politics about changes in the gendered structure of labor by analyzing how the symbolic power of gender is put in the service of neoliberal practices. Goodman traces the cultural contextualization of 'women's work' from its Marxist roots to its current practices. From the income gap to the gendering of industries, Goodman explores and critiques (...) the rise of corporate power under neoliberalism and the ways and whys that femininity has become one of its principle commodities. (shrink)

Tarski's definition of truth has rehabilitated the application of the word "true" to sentences of formalized languages. But a correspondence theory according to which a sentence is true if, And only if, It is related in the peculiar way of correspondence to the facts, Is incompatible with tarski's definition. Actually no theory of truth, Which claims to make proper assertions about sentences when calling them true, Is compatible with tarski's definition. Hence they all have to (...) find their own solution to the problem of the semantical antinomies and have to explain what it means to say that sentences are true. (shrink)

Alfred Tarski's work on truth has become a touchstone for a great deal of philosophical work on truth. A good grasp of it is critical for understanding the contemporary literature on truth and semantics. In this paper, I present a fresh interpretation of Tarski's view, one which aims to draw it out more fully in areas of philosophical interest.

Alfred Tarski’s work on truth has played such a central role in the discourse on truth that most coming to it for the first time have probably already heard a great deal about what is said there. Unfortunately, since the work is largely technical and Tarski was only tan- gentially philosophical, a certain incautious assimilation dominates many philosophical discussions of Tarski’s ideas, and so, examining Tarski on the concept of truth is in many (...) ways an act of unlearning. -/- In this paper I focus on those key ideas in Tarski’s work that have made a lasting impact on the philosophical discourse. These are the notions of T-sentence, Convention T, Tarskian truth definition, and Tarski’s general limiting theses on the expressibility and definability of truth. Though these ideas are in name familiar, we will seek in this essay to uncover and remove certain widespread misunderstandings of each. Tarski’s name also features prominently in discussions of the liar paradox, so we will take time out to explain Tarski’s connection to this ancient puzzle. (shrink)

The conflict between Platonic realism and Constructivism marks a watershed in philosophy of mathematics. Among other things, the controversy over the Axiom of Choice is typical of the conflict. Platonists accept the Axiom of Choice, which allows a set consisting of the members resulting from infinitely many arbitrary choices, while Constructivists reject the Axiom of Choice and confine themselves to sets consisting of effectively specifiable members. Indeed there are seemingly unpleasant consequences of the Axiom of Choice. The non-constructive nature of (...) the Axiom of Choice leads to the existence of non-Lebesgue measurable sets, which in turn yields the Banach-Tarski Paradox. But the Banach-Tarski Paradox is so called in the sense that it is a counter-intuitive theorem. To corroborate my view that mathematical truths are of non-constructive nature, I shall draw upon Gödel’s Incompleteness Theorems. This also shows the limitations inherent in formal methods. Indeed the Löwenheim-Skolem Theorem and the Skolem Paradox seem to pose a threat to Platonists. In this light, Quine/Putnam’s arguments come to take on a clear meaning. According to the model-theoretic arguments, the Axiom of Choice depends for its truth-value upon the model in which it is placed. In my view, however, this is another limitation inherent in formal methods, not a defect for Platonists. To see this, we shall examine how mathematical models have been developed in the actual practice of mathematics. I argue that most mathematicians accept the Axiom of Choice because the existence of non-Lebesgue measurable sets and the Well-Ordering of reals open the possibility of more fruitful mathematics. Finally, after responding to Benacerraf’s challenge to Platonism, I conclude that in mathematics, as distinct from natural sciences, there is a close connection between essence and existence. Actual mathematical theories are the parts of the maximally logically consistent theory that describes mathematical reality. (shrink)

Peter Milne; VII*—Tarski, Truth and Model Theory, Proceedings of the Aristotelian Society, Volume 99, Issue 1, 1 June 1999, Pages 141–168, https://doi.org/10.11.

Many commentators on Alfred Tarski have, following Hartry Field, claimed that Tarski's truth-definition was motivated by physicalism—the doctrine that all facts, including semantic facts, must be reducible to physical facts. I claim, instead, that Tarski did not aim to reduce semantic facts to physical ones. Thus, Field's criticism that Tarski's truth-definition fails to fulfill physicalist ambitions does not reveal Tarski to be inconsistent, since Tarski's goal is not to vindicate physicalism. I argue (...) that Tarski's only published remarks that speak approvingly of physicalism were written in unusual circumstances: Tarski was likely attempting to appease an audience of physicalists that he viewed as hostile to his ideas. In later sections I develop positive accounts of: (1) Tarski's reduction of semantic concepts; (2) Tarski's motivation to develop formal semantics in the particular way he does; and (3) the role physicalism plays in Tarski's thought. (shrink)

This thesis seeks to develop the account of natural language semantics found in the work of Donald Davidson. Special attention is given to the empirical character of theories of meaning, and Quine's theses of translational and referential indeterminacy are examined for their bearing on this. It is argued that a strict form of Davidson's principle of charity plays the essential role in making these theories empirical. The formal modifications Davidson makes to Tarski in the course of structuring theories of (...) meaning after Tarskian theories of truth are identified and a modified version of Convention T is provided. On the basis of the account of interpretation thus developed, the case is made that Davidson's argument against global skepticism is inadequate unless supplemented with his argument against incommensurable conceptual schemes. This latter argument is defended as being an argument for a notion of objectivity which rules out any interesting sort of correspondence theory of truth. (shrink)

Until Tarski’s semantic truth definition, the concept of truth was used informally in metalogic (metamathematics) or even proposed to be eliminated in favour of syntactic concepts, as in Rudolf Carnap’s early programme of philosophy via logical syntax. Tarski demonstrated that the concept of truth can be defined using precise mathematical devices. If L is a language for which the truth definition is given, it must be done in the metalanguage ML. According to this construction, (...) semantics for L must be performed in ML. The most important example concerns the arithmetic of natural numbers. According to Tarski’s theorem of undefinability, the set of truths of this theory cannot be defined in it – such a definition can be formulated in the metatheory. This fact illuminates the relation between syntax and semantics. If Th is a rich theory and presented as a syntactic theory (a calculus), its semantics is not reducible to its syntax. According to Tarski’s view, related to his work in the simple theory of types, semantics for L can be always constructed in the morphology of ML, provided that L is of the finite order. Two problems arise: what does the word “morphology” mean and how to formulate these ideas, when the framework is based on the distinction between first‑order logic and higher‑order logic. As far as the issue concerns morphology, it is possible to consider it as an extended syntax, i.e. vocabulary which does not refer to semantic concepts or defines such notions by not‑semantic, e.g. set‑theoretical, categories. If the hierarchy of logical types is replaced by the distinction of logics of various orders, in particular between first‑order and higher‑order (it is sufficient to use second‑order), it is possible to show that semantics of first‑order rich theories cannot be defined inside them. (shrink)

In §§1-2 I consider some issues that Guillermo raises in connection with Husserl, especially the distinction between the notion of state of affairs and the more general notion of situation of affairs conceived as a common substratum for different states of affairs. After a few remarks about Church’s slingshot argument in §3, I discuss several objections that Guillermo raises to my interpretation of Frege , to Kripke’s notion of rigid designator and to my objections to Tarski’s semantic conception (...) of truth. (shrink)